First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
381	arXiv:1312.6192v4 [cs.CL] 15 FebCan recursive neural tensor networks learn logical reasoning? Samuel R. Bowman Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-17 20:18:31 Philosophical logic Logical consequence Metalogic First-order logic Word-sense disambiguation Quantification Entailment Inference Resolution Logic Predicate logic Semantics
382	A First-Order Theory of Communicating First-Order Formulas Ernest Davis∗ Courant Institute New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2004-10-07 15:48:12 Entailment Logical consequence Metalogic Modal logic Epistemic modal logic Unexpected hanging paradox Strength of materials Logic Philosophical logic Deduction
383	A First-Order Davis-Putnam-Logemann-Loveland Procedure Peter Baumgartner + Some slides from "First Order Theorem Proving" Tutorial Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:52:20 Mathematics Model theory Constraint programming Boolean algebra Skolem normal form Davis–Putnam algorithm First-order logic Resolution Vampire Mathematical logic Logic Automated theorem proving
384	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming
385	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
386	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:11 Model theory Propositional calculus Rules of inference Resolution First-order logic Interpretation Deduction theorem Inference Unit propagation Logic Mathematical logic Automated theorem proving
387	Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz & Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-27 14:47:38 Model theory Finite model theory FO First-order logic Descriptive complexity theory Almost surely Second-order logic Structure Linear temporal logic Logic Mathematical logic Mathematics
388	CS109B Notes for LecturePredicates Essentially Boolean-valued functions with arguments of arbitrary type. But predicates are uninterpreted; a predicate named , for example, need not givethe value TRUE. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:19 Predicate logic First-order logic Free variables and bound variables Function Universal quantification Predicate FO Propositional variable Independence Logic Mathematical logic Mathematics
389	Constraint databases: A tutorial introduction∗ Jan Van den Bussche Limburg University, Belgium 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:47 Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic
390	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning

UPDATE